Assert \{$f$\}$_{b}$ $\in$ ($\forall$$x$:$A$. Dec($f$($x$) = tt))